DNA coding and Gödel numbering
نویسندگان
چکیده
We consider a DNA strand as mathematical statement. Inspired by the work of Kurt Gödel, we attach to each Gödel’s number, product prime numbers raised appropriate powers. To chain corresponds single number G , and inversely given can specify it stands for. Next, considering composed N bases, study statistical distribution g logarithm . Our assumption is that choice m th term random with equal probability for four possible outcomes. The ‘experiment’, some extent, similar throwing times four-faces die. Through moment generating function obtain discrete then continuum There an excellent agreement between our formalism simulated data. At end compare actual data, presence non-random fluctuations.
منابع مشابه
Gödel Homomorphisms as Gödel Modal Operators
We extend propositional Gödel logic by a unary modal operator, which we interpret as 5 Gödel homomorphisms, i.e. functions [0, 1] → [0, 1] that distribute over the interpretations of the 6 binary connectives of Gödel logic. We show that validity in the propositional fragment has a simple 7 superintuitionistic Hilbert-type proof system, which is not structurally complete, and that validity 8 doe...
متن کاملValue Numbering
Value numbering is a compiler-based program analysis method that allows redundant computations to be removed. This paper compares hash-based approaches derived from the classic local algorithm1 with partitioning approaches based on the work of Alpern, Wegman, and Zadeck2. Historically, the hash-based algorithm has been applied to single basic blocks or extended basic blocks. We have improved th...
متن کاملGödel and Computability 1
We discuss the influence of Gödel and his results on the surfacing of the rigorous notion of computability afforded by Turing. We also address the debate about the limits of Artificial Intelligence spurned by Roger Penrose, on the basis of Gödel's theorems, and the views of Gödel himself. We conclude by touching upon the use of logic as a tool with which to approach the description of mind.
متن کاملSCC-Based Value Numbering
Value numbering is an optimization that assigns numbers to values in such a way that two values are assigned the same number if and only if the compiler can prove they are equal. When this optimization discovers two computations that produce the same value, it can (under certain circumstances) eliminate one of them. There are two competing techniques for proving equivalences: hashing and partit...
متن کاملGödel and Set Theory
Kurt Gödel (1906–1978) with his work on the constructible universe L established the relative consistency of the Axiom of Choice (AC) and the Continuum Hypothesis (CH). More broadly, he ensured the ascendancy of first-order logic as the framework and a matter of method for set theory and secured the cumulative hierarchy view of the universe of sets. Gödel thereby transformed set theory and laun...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physica D: Nonlinear Phenomena
سال: 2022
ISSN: ['1872-8022', '0167-2789']
DOI: https://doi.org/10.1016/j.physa.2022.127053